((declare (out) float a)
 (function main
  (signature void (parameters)
   ((loop
     ((assign (x) (var_ref a) (constant float (1.000000)))))))))
